home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / thirdpedal.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.6 KB  |  44 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.779891, -0.861413, "1");
  3. v2 = .free(0.048913, 0.883152, "2");
  4. v3 = .free(0.796196, -0.796196, "3");
  5. l1 = .l.vv(v1, v2);
  6. l2 = .l.vv(v2, v3);
  7. l3 = .l.vv(v3, v1);
  8. v4 = .free(0.005435, -0.01087, "4");
  9. l4 = .l.vlperp(v4, l3, .invisible);
  10. l5 = .l.vlperp(v4, l2, .invisible);
  11. l6 = .l.vlperp(v4, l1, .invisible);
  12. v5 = .v.ll(l2, l5, .invisible, .plus);
  13. v6 = .v.ll(l4, l3, .invisible, .plus);
  14. v7 = .v.ll(l6, l1, .invisible, .plus);
  15. l7 = .l.vv(v7, v5, .red);
  16. l8 = .l.vv(v5, v6, .red);
  17. l9 = .l.vv(v6, v7, .red);
  18. l10 = .l.vlperp(v4, l8, .invisible);
  19. l11 = .l.vlperp(v4, l7, .invisible);
  20. l12 = .l.vlperp(v4, l9, .invisible);
  21. v8 = .v.ll(l11, l7, .invisible, .plus);
  22. v9 = .v.ll(l10, l8, .invisible, .plus);
  23. v10 = .v.ll(l12, l9, .invisible, .plus);
  24. l13 = .l.vv(v10, v8, .green);
  25. l14 = .l.vv(v8, v9, .green);
  26. l15 = .l.vv(v9, v10, .green);
  27. l16 = .l.vlperp(v4, l14, .invisible);
  28. l17 = .l.vlperp(v4, l15, .invisible);
  29. l18 = .l.vlperp(v4, l13, .invisible);
  30. v11 = .v.ll(l14, l16, .invisible, .plus);
  31. v12 = .v.ll(l15, l17, .invisible, .plus);
  32. v13 = .v.ll(l13, l18, .invisible, .plus);
  33. l19 = .l.vv(v13, v11, .yellow);
  34. l20 = .l.vv(v11, v12, .yellow);
  35. l21 = .l.vv(v12, v13, .yellow);
  36. .text("Pedal Triangles");
  37. .text("");
  38. .text("The third pedal triangle (the red triangle is the first pedal");
  39. .text("triangle of 123 with respect to the pedal point, the green is");
  40. .text("the second, and the yellow, the third) is similar to the original");
  41. .text("triangle.  The vertices of a pedal triangle are the intersections of");
  42. .text("the lines through the pedal point perpendicular to the sides and the");
  43. .text("sides themselves.");
  44.